New customization type `float'.

diff --git a/etc/NEWS b/etc/NEWS
index a358aa3cfd5b30f1165b29138717d0a5d1c09b0f..6c8723c8c69032609a6112bb6e840c3ad2743283 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -495,6 +495,9 @@ the previous value becomes the "backup value" of the variable.
 You can go back to that backup value by selecting "Use Backup Value"
 under the "[State]" button.
 
+** The new customization type `float' specifies numbers with floating
+point (no integers are allowed).
+
 +++
 ** In GUD mode, when talking to GDB, C-x C-a C-j "jumps" the program
 counter to the specified source line (the one where point is).